Data types - PDFSEARCH.IO - Document Search Engine

Data types
Results: 6238

#	Item
111	Monotonic References for Efficient Gradual Typing Jeremy G. Siek1 , Michael M. Vitousek1 , Matteo Cimini1 , Sam Tobin-Hochstadt1 , and Ronald Garcia2 1 Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:50 Software engineering Computing Programming language theory Type theory Data types Procedural programming languages C++ Lambda calculus Type system Type safety Gradual typing ALGOL 68
112	Microsoft PowerPoint - rosecirm-PGAS11.pptx Add to Reading List Source URL: pirkelbauer.com Language: English - Date: 2011-11-04 14:28:34 Computing Software engineering Data types Computer programming Parallel computing Livermore Valley Pointer Const Unified Parallel C Livermore Universal Product Code Lawrence Livermore National Laboratory
113	All-Termination(T) Aaron Turon Northeastern University (joint work with Pete Manolios) Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-01-10 16:47:24 Software engineering Computer programming Computing Data types Functional programming Abstract data types Recursion Subroutines Theoretical computer science Cons List Termination analysis
114	Microsoft Word - seedgrantwpdeng Add to Reading List Source URL: rri.wvu.edu Language: English - Date: 2013-04-01 19:19:34 Types of tourism Geography Data Academia Cultural tourism Tourism Rural tourism Analytic hierarchy process Region Spatial analysis West Virginia Appalachia
115	Microsoft PowerPoint - Lect12advanced_data.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-10-17 09:39:31 Algebra Mathematics Computing Search algorithms Data types Vectors Hashing Error detection and correction Hash function Association list Abstract data type Hash table
116	Value Types and Object Classes Ole-Johan Dahl Dept. of Informatics, University of Oslo Talk presented at the 25 years Simula 67 Anniversary Conferences, NordwijkerhoutJune 1992 and Oslo 22 June. Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Software engineering Computer programming Subroutines Data types Recursion Type theory Programming idioms Fold ALGOL 68 Subtyping Record Generator
117	XQuery and Static Typing: Tackling the Problem of Backward Axes Pierre Genevès Nils Gesbert Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2015-12-08 05:48:48 Software engineering Computer programming Computing Functional languages Data types Query languages Knowledge representation Functional programming XQuery Recursive data type Tree Well-formed formula
118	Scalad: An Interactive Type-level Debugger Hubert Plociniczak École Polytechnique Fédérale de Lausanne {first.last}@epfl.ch Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-03-18 17:06:31 Software engineering Computing Computer programming Type theory Data types Functional languages Procedural programming languages Cross-platform software Type inference Scala Covariance and contravariance Type system
119	Automatic Testing of Operation Invariance Tobias G¨odderz and Janis Voigtl¨ander University of Bonn, Germany, {goedderz,jv}@cs.uni-bonn.de Abstract. We present an approach to automatically generating operation invarian Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2015-02-26 03:09:41 Abstract data types Computing Software engineering Queue Double-ended queue FIFO Abstraction
120	Into the Depths of C: Elaborating the De Facto Standards Kayvan Memarian1 Justus Matthiesen1 James Lingard2 Kyndylan Nienhuis1 David Chisnall1 Robert N.M. Watson1 Peter Sewell1 1 University of Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2016-06-11 11:44:23 Software engineering Computing Computer programming Data types C Pointer Type safety Null pointer Undefined behavior Reference Aliasing Struct

UPDATE